Ewolucja albo substytucja, czyli jaka przyszłość NATO

Deciding ALBO with Tableau

This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. In particular, we de ne a sound and complete tableau calculus for the description logic ALBO and show that it provides a basis for decision procedures for this logic and numerous other description logics. ALBO is the extension o...

Cognitive Radio in NATO

NATO ASI Series

A series presenting the results of activities sponsored by the NA TO Science Committee, which aims at the dissemination of advanced scientific and technoiogicai knowiedge, with a view to strengthening links between scientific communities. Recent Volumes in this Series Volume 181—Fundamental Processes of Atomic Dynamics edited by J. No part of this book may be reproduced, stored in a retrieval s...

Rapid Prototyping during NATO Experimentation

As part of its ongoing effort to encourage rapid prototyping within NATO, the Allied Command Transformation Modelling and Simulation Section is actively involved in modelling and simulating at the multinational political/military level. Experimentation with multinational political concepts and at the military strategic level is inherently complicated and sensitive. Simulation can be used to not...

Analyzing Nato Expansion: an Institutional Bargaining Approach

were invaluable. Comments from two anonymous referees were very helpful in revising the paper.